A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
نویسندگان
چکیده
Abatrect A kernel specification language called ASL is presented. ASL comprises five fundamental but powerful specificationbuilding operations and has a simple semantics. Behavioural abstraction with respect to a set of observable sorts san be expressed, and (recurstve) parameterisad specifications can be defined using a more powerful and more expressive parameterisation mechanism than usual. A simple notion of implementation permitting vertical and horizontal composition ( i .e. it is transitive and monotonic) is adopted and compared with previous more elaborate notions. A collection of identities is given which san provide a foundation for the development of programs by transformation.
منابع مشابه
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
In this paper, we suggest a formal framework as a basis for a generic combination of formal languages. It makes it possible the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a globa...
متن کاملTransforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
The adoption of algebraic specification/formal method techniques by the networks‟ research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One (ASN.1 – a very popular specification language with many applications), into the powerful algebraic specification language CafeOBJ. The result...
متن کاملObservation and Abstract Behaviour in Specification and Implementation of State-based Systems
Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are. We formalise the idea of a state-based object or abstract machine using algebraic means. In contrast to similar approaches we consider dynamic logic instead of equa...
متن کاملSpecifying Hyperdocuments with Algebraic Methods
Algebraic specification methods, well-known in the area of programming languages, are adapted to present a tailored framework for hyperdocuments and hyperdocument systems. In this framework, a hyperdocument is defined via its abstract syntax, which is a variable-free term of a suitable constructor-based signature. Both the representation in a markup language and the graphical presentation on th...
متن کاملOn the Algebraic Specification of Databases
manticl data models which often is For the conceptual level of database schemes a described can be completely specif structured algebraic specification is presented. all algebraic types can be used to Within a uniform framework it comprises database base schemes directly. only ied. spec i partially But above fy dataabstractions, static and dynamic constraints, and a functional programing langua...
متن کامل